Perform research and development such as VLSI design, verification technology, storage subsystems, computer systems, programming languages and environments, advanced applications, multimedia and service technologies.

List maintained by Espen Andersen.

At the University of Tennessee. Research in various areas of high-performance computing. Publications, links to projects, and news.

Research projects, publications.

Information about research groups, papers, and projects.

Led by the University of Newcastle, UK. Addresses the dependability of computer-based systems. Information about research and job opportunities.

Provides supercomputer resources for the scientific community in Germany. Research and publications.

Presents this laboratory whose mission consists in fundamental and applied research in the field of information and communications sciences, training in engineering colleges and doctorate schools and transfer of technology. Nancy, France.

The Laboratoire Specification et Verification is the Computer Science laboratory of the École Normale Superieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification.

Description of past and present research using supercomputers, abstracts of publications, and links to software being developed at the lab.